/**
 * @file
 * @author dousha
 * @date 2020
 */

#include "messaging.h"

/**
 * 不要在用户程序中调用！
 *
 * 初始化回调式消息系统。如果希望为任务创建专用的非阻塞消息队列（邮箱），
 * 使用 message_queue_create().
 *
 * @invokeAfter memory_init()
 *
 * @kernelOnly
 */
void message_init() {
	// TODO
}
